<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
	<head>
		<title>bug test for 12256</title>
	</head>

	<body>
		This is the main page

		<iframe src="iframe/test.html">

	</body>
</html>
